Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
201	A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cross-platform software Numerical software Formal methods Simulation software Linear algebra MATLAB Simulink Verification condition generator Formal verification Command-line interface HTML element
202	17 Econometric Modeling as Junk Science Add to Reading List Source URL: crab.rutgers.edu Language: English - Date: 2002-03-10 15:37:58 Econometrics Statistical methods Formal sciences More Guns Less Crime Regression analysis John Lott Right-to-carry law Regression Statistics Economic data Gun control Multivariate analysis
203	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic
204	Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science Failure Materials science Reliability engineering Survival analysis DO-178B Exception handling Formal verification Software development process KeY Software development
205	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
206	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
207	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
208	Cognitive Process Designer - An Open-Source Tool to Capture Processes according to the Linked Data Principles Demo Paper Tobias Weller and Maria Maleshkova Institute for Applied Informatics and Formal Description Methods Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-07-08 19:51:50 Workflow technology Business process modelling Diagrams Knowledge engineering ISO standards Business Process Model and Notation Business process management Modeling language Ontology Semantic Web Semantic MediaWiki Comparison of Business Process Modeling Notation tools
209	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
210	COMMISSION ON TEACHER CREDENTIALING General Education Induction Webinar: Preconditions, Standards, Add to Reading List Source URL: www.ctc.ca.gov Language: English - Date: 2016-04-08 18:15:36 Teacher training Recruitment Education in the United Kingdom Formal methods Induction Credentialing Precondition Mathematical induction Teacher induction

UPDATE